(declare-fun s0 () Int)
(declare-fun s1 () Int)
(declare-fun s2 () (Seq Int))
(assert s39)
(assert s87)
(assert s93)
(assert (not s122))
(assert (= s0 1))
(check-sat)
